A portable implementation of a modular multiprocessing database programming language

This paper introduces the database programming language RAPP, which is an integration of the data type relation and relational algebraic operations with the modular multiprocessing language Pascal Plus. A portable version of the RAPP compiler has been implemented and is described.     

网络微积分学研究

网络微积分是最小加代数理论在网络分析中的应用。网络微积分主要用于对网络中流问题的考察．它所形成的体系可以用于对网络中的流问题进行建模和定量分析。网络微积分广泛用于网络中的流量控制协议的分析，调度器分析，以及与网络QoS控制相关的分析。文中主要对网络微积分的基本原理和重要结论做了一个系统的综述。     

Verification of a sliding window protocol in μCRL and PVS

We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. The correctness consists of showing that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory, and has been checked in the theorem prover PVS. Received November 2004 Revised June 2005 Accepted July 2005 by J. V. Tucker     

The generalized matrix product and its applications

In this paper we develop the notion of a generalized matrix product that includes in its formulation the common matrix and vector products of linear algebra. After defining the generalized matrix product and investigating some of its properties, we provide some specific examples of its use in image processing.     

一类DEDS最优调度问题的解法

本文提出了带存储器生产线的一类新的最优调度问题,给出了最优调度目标函数的 具体形式,指出它不是凸函数;在一个变量时给出了最优调度的公式解,在多个变量时得到了 一个迭代寻优的算法.     

Finite-dimensional filters with nonlinear drift,VI: Linear structure of Ω

Ever since the concept of estimation algebra was first introduced by Brockett and Mitter independently, it has been playing a crucial role in the investigation of finite-dimensional nonlinear filters. Researchers have classified all finite-dimensional estimation algebras of maximal rank with state space less than or equal to three. In this paper we study the structure of quadratic forms in a finite-dimensional estimation algebra. In particular, we prove that if the estimation algebra is finite dimensional and of maximal rank, then the Ω=(∂f _j /∂x _i −∂f _i /∂x _j )matrix, wheref denotes the drift term, is a linear matrix in the sense that all the entries in Ω are degree one polynomials. This theorem plays a fundamental role in the classification of finite-dimensional estimation algebra of maximal rank. This research was supported by Army Research Office Grants DAAH 04-93-0006 and DAAH 04-1-0530.     

ITERATIVE METHOD USING CONSISTENT MASS MATRIX IN AXISYMMETRICAL FINITE ELEMENT ANALYSIS OF HYPERVELOCITY IMPACT

We present in this paper an iterative method using consistent mass matrix in axisymmetrical finite element analysis of hypervelocity impact. To retain the advantage of integration on an element-by-element basis which is at the heart of modern hydrocodes, we suggest that the first step should be to solve for accelerations at an advanced time step by using the lumped mass approach, then iterate using a consistent mass matrix to improve the estimate. Examples are given to show the improved resolution with the new method.     

Discrete time process algebra

The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to define a discrete time extension of ACP, along the lines of ATP [NiS94]. We present versions based on relative timing and on absolute timing. Both approaches are integrated using parametric timing. The time free ACP theory is embedded in the discrete time theory.